//package com.example.aboutwork.jdk17;
//
//public sealed interface Days permits Monday, Sunday, Saturday {
//
//    default String getDayInfo(Days days) {
//        return switch (days) {
//            case Monday monday -> monday + "星期一";
//            case Sunday sunday -> sunday + "今天星期日";
//            case Saturday saturday -> saturday + "今天星期日";
//        };
//
//    }
//
//    static void main(String[] args) {
//        Monday monday = new Monday();
//        monday.getDayInfo(monday);
//    }
//
//}
//
//final class Monday implements Days {
//
//}
//
//final class Sunday implements Days {
//
//}
//
//final class Saturday implements Days {
//
//}
//
